Refactored Merkle path authentication instructions

Refactored control flow operations and added unbounded loops

Removed 64-bit field support and added more boolean operations

Implemented assembler and added support fo conditional execution

Added support for value comparisons and range checks

Added support for hashing oprations and secret inputs

Added support for 128-bit fields

Transitioned to DEEP-FRI

Initial release