Text this: Consistency of circuit lower bounds with bounded theories