Several minor updates for Pantry

- bugfix in zcc_parser.py (backend)

- backend emits additional constraints for Benes-style RAM access
  - bind RESULT to VALUE when CONDITION is 1
  - constrain all Benes network switch values to 1 or 0

- update to mergesort tests, Merkle vs Benes
  - additional code for Verifier added in apps_sfdl_hw to initialize
    Merkle tree correctly

- minor tweaks to trVer and trVerLocal Makefiles under tinyram/

- updated mergesort ASM code and exo0 code