DSLX: catch missing termination conditions for TestProcs

Right now, if a TestProc has no termination condition (i.e., no send on the terminator channel), then simulation will spin infinitely. It seems possible to check to make sure that the terminator is written to during...typechecking, I think, or perhaps some later validation phase, and it'll save users some confusion in the future.