myrial_test: let caller specify the output relation to check

Want this for sequence when I write two different relations.
myrial: test compiling/executing Sequence