Add tests for edge-case morphisms and trivial relations#56

Chausseaumoine wants to merge 3 commits intosigma-rs:mainsigma-rs/sigma-proofs:mainfrom

Chausseaumoine:test/morphism-edge-casesChausseaumoine/sigma-rs:test/morphism-edge-casesCopy head branch name to clipboard