To better ensure that bytecode `@update` implementations return a 0/1 value (see https://github.com/llvm/llvm-project/pull/181199), this changes the Python -> formatter bytecode compiler to require that Python `update` methods be declared to return `bool`. A declaration like this will be a compiler error: ```py def update(self): # implementation... ```