Add tests for malformed partial merkle trees, including the transaction count limit at its 16666 boundary, and for GetBitsProof returning zero for zero, negative and overflowing targets.
These were discovered by finding gaps in an alternate implementation (bitcoin-s)