chore: enable test vectors for unix (#819)

m

m

m

m

m

m

m

m

m

chore: enable test vectors for unix

chore: add support for new style Dafny test vectors (#817)

m

PR feedback

chore: allow test vectors to run in unix

allow test vectors to run in unix

m

m

m

m

m

m

m

m

m

m

m