re_intuit_start(): assert substr offsets are >= 0.
Some parts of this function handle the negative offset case, while other
parts don't. Also, nothing in the test suite generates negative offsets.
So for now, assert that all offsets are positive, and strip out any
code that handles negative offsets. This will make my current activity
in fixing and refactoring this function easier. If at some future point
someone wants to add support for negative offsets (e.g. with look-behind)
then they'll have to add support fully to re_intuit_start() from scratch.