#3612)

Resolves #3546 
Resolves #3548

### Description

This PR introduces the following opcodes for the finite field type:

- SUB: subtraction
- MUL: multiplication
- DIV: division

For division, error is raised whenever the numerator is zero. A boolean
column op_err was introduced for this purpose.

Resolves #3632 

### Description
A list of positive and negative unit tests for the arithmetic operations
of finite field type.
Each operation (add, sub, mul, div) is positively and negatively tested.

Replacing the toy_avm with a pil version that defines a permutation in
pil.

```
    pol commit q_tuple_set;

    // Set 1
    pol commit set_1_column_1;
    pol commit set_1_column_2;
    // Set 2
    pol commit set_2_column_1;
    pol commit set_2_column_2;

    // This is a column based tuple permutation
    
    #[two_column_perm] // the name of the inverse polynomial
    q_tuple_set { set_1_column_1, set_1_column_2 } is { set_2_column_1, set_2_column_2 };
```

Syntax is as shown.

Resolves #3644

closes: #3697

- Add missing check that program counter advanced in call opcode ( oops
)
    - Moved return storing to intermediate register b 
    - jump dest goes on register a
- Implement trivial jump opcode ( subset of call )

Resolves #3834 

Moving all AVM memory related trace building functions into a dedicated
class.
Furthermore, all AVM related trace files were moved into a dedicated
folder in vm.
The following files:

- AvmMini_common.hpp
- AvmMini_helper.cpp
- AvmMini_helper.hpp
- AvmMini_mem_trace.cpp
- AvmMini_mem_trace.hpp
- AvmMini_trace.cpp
- AvmMini_trace.hpp
were moved from 

barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/

to

barretenberg/cpp/src/barretenberg/vm/avm_trace/

Finally, the namespace for these files were migrating from proof_system
to avm_trace.