Polyakov pre1.6

Closes #12 (closed) , #11 (closed) , #10 (closed) , #2 (closed) , #1 (closed)

1. Addresses the small issues in gitlab (Automorphism, ConvertToInt in Backend 6)
2. Fixes debug statement when running lib-benchmark
3. Fixes benchmarks
4. Fixes a unit test
5. Fixes the RELEASE mode