Add two ECDSA test cases

The first triggers when the overflow check in ECDSA signature parsing is disabled.

The second one exercises the 'else' branch for the recomputed point not being infinity.

Both are suggested by @gmaxwell.