alpha 1 for Triton VM v0.36.0

Changes to Instructions

| old            | new                   |
|:---------------|:----------------------|
| pop            | takes arg 1 <= n <= 5 |
| divine         | takes arg 1 <= n <= 5 |
| read_mem       | takes arg 1 <= n <= 5 |
| write_mem      | takes arg 1 <= n <= 5 |
| hash           | pops 5                |
| divine_sibling | pushes 5              |
| assert_vector  | pops 5                |
| sponge_absorb  | pops 10               |
| sponge_squeeze | pushes 10             |
| xxadd          | pops 3                |
| xxmul          | pops 3                |
| read_io        | takes arg 1 <= n <= 5 |
| write_io       | takes arg 1 <= n <= 5 |

Cargo.toml

@@ -12,7 +12,7 @@ lto = "thin"
 lto = "thin"
 
 [workspace.package]
-version = "0.35.0"
+version = "0.36.0-alpha.1"
 edition = "2021"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"
@@ -35,7 +35,7 @@ nom = "7.1"
 num-traits = "0.2"
 prettyplease = "0.2"
 proc-macro2 = "1.0"
-proptest = "1.3"
+proptest = "1.4"
 proptest-arbitrary-interop = "0.1"
 quote = "1.0"
 rand = "0.8.5"