instructions for disabling Theseus in the instrumented code comment
bump version to 0.5.4