Track test program failure more rigorously

Track process results purely, makely it easier to see where failure
should be handled. The one exception here is `Interpreter`, which still
handles divergence via exceptions.