feat: add Instruction trace generation to the prove_brainfuck entrypoint

[zmalatrax]

To commit the trace when generating the proof with the prove_brainfuck() entrypoint, we must evaluate the BaseField that populates the InstructionTable on the Circle domain.

To do so, we must pack the registers of each row InstructionTableRow (all registers for one step) into a BaseColumn (all steps of one register), which provides us a Vec<BaseColumn> (all steps of one register)

Then we evaluate each row (i.e. BaseColumn) on a corresponding circle domain.

As a reference, see this from stwo-cairo