refactor(avm): separate alu finalization

[fcarreiro]

PIL

• Moved ALU lookups to alu.pil. These are mostly range checks and I expect them to be different once @IlyasRidhuan finishes setting up the gadget changes.

CPP

• Made ALU entry smaller and encapsulated finalize.