Revamp logical seqexes and/or

These seqexes have been completely reworked. They now should work much better
with capturing and will short circuit if possible. They will also work with
seqexes matching varying lengths.

Added new terms to describe verdicts. The old ones are confusing and the hope
is that verbal converstaions discussing seqexes will be improved using the new
terms: Failed Failing Passed Passing.
Fix bug in the way models in Serial are captured

Instead of blindly using the first available path, find the first matching path
and running -end on it's state.