Fibonacci regex, shortest: Don't need to explicitly match 13; length-=2

The change in commit efe93ea20ffb0d531c75e20a3a684abbc1cd30a3 allowed the main algorithm to match 13. A later change in the "short and fast" branch negated this, but "shortest" and "short and fastest" still have this characteristic.