Extended testsuite support, allow missing input files, via flag.
Extended tests, cover basic choice
Fixed bug in "si:voidvoid_branch" (snit, oo runtimes). Incorrectly pushed an empty error state instead of the just-merged error state.