Text this: On the consistency of stronger lower bounds for NEXP