Text this: Unprovability of circuit upper bounds in Cook's theory PV