v2.7.37

Monomorphize subset of Boogie programs (#297)

* monomorphize subset of Boogie programs

* fixed bugs and added more tests

* added more tests

* put monomorphization under an option

* added monomorphization for recursive functions

* Expand help message for monomorphization

* added checker for unbounded instantiation

* added more tests

Co-authored-by: Bernhard Kragl <[email protected]>