Migrates to using snarkVM and adds memory usage improvements for programs

[howardwu]

Motivation

Migrates to using snarkVM and adds memory usage improvements for programs

[codecov]

Codecov Report

Merging #518 (d5cb59c) into master (0eb1a5e) will decrease coverage by 0.04%.
The diff coverage is 22.22%.

@@            Coverage Diff             @@
##           master     #518      +/-   ##
==========================================
- Coverage   73.81%   73.77%   -0.05%     
==========================================
  Files         470      470              
  Lines       13786    13794       +8     
==========================================
  Hits        10176    10176              
- Misses       3610     3618       +8     

Impacted Files	Coverage Δ
compiler/src/console/assert.rs	75.00% <ø> (ø)
compiler/src/console/console.rs	100.00% <ø> (ø)
compiler/src/console/format.rs	100.00% <ø> (ø)
compiler/src/definition/definition.rs	100.00% <ø> (ø)
compiler/src/definition/definitions.rs	90.47% <ø> (ø)
compiler/src/errors/expression.rs	25.43% <ø> (ø)
compiler/src/errors/value/address.rs	47.61% <ø> (ø)
compiler/src/errors/value/boolean.rs	56.00% <ø> (ø)
compiler/src/errors/value/field.rs	0.00% <ø> (ø)
compiler/src/errors/value/group.rs	0.00% <ø> (ø)
... and 102 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 0eb1a5e...d5cb59c. Read the comment docs.