tell people about --theseus-max-invocations-per-tick=XXX when you bail