Add rev/qrev example without revacc function

Makes nice proofs if you run it with --assoc-important and --swap-repr