Fix Keccak executor tests

[nadimkobeissi]

Fix Keccak state machine executor tests + continue major cleanup of Keccak gate-based implementation and state machine code.

• Fix Keccak state machine executor test! Finally.
• Remove almost all #defines for Keccak and standardize the use of GateConfig interface via KeccakGateConfig instead.
• Remove all dead or non-functional overloaded interfaces for the Keccak executor.
• Actually initialize the executor program when running tests and add a zkassertpermanent to prevent the executor from running without a loaded program/configuration. This is what delayed fixing the tests so much: we were running the executor on blanks without noticing because it dropped loading the program in some cases.