Running our regex tests with code coverage shows this for SymbolicRegexMatcher.FindMatch:

This suggests that there's something very wrong with that logic, as we definitely have tests that should trigger it, and it should either be fixed or all the "watchdog" logic deleted.

cc: @olsaarik, @veanes