Unify output validity proofs used in unit tests into a single library

[guidanoli]

Closes #144

[xdaniortega]

Nice work! Be careful with conflicts before merging.

[guidanoli]

Rebased and resolved conflicts.