On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsfS^1_2$ (Logical Methods in Computer Science, 2025)