Check correctness of lambda split without -DVERIFY
Check correctness of lambda split without -DVERIFY

The VERIFY macro turns on various paranoid consistency checks, but
 the complete functionality should still be tested without it.

This also adds a couple of static test points for extremely small
 split inputs/outputs.  The existing bounds vectors already check
 extremely large outputs.

evoskuil/secp256k1,afk11/secp256k1,evoskuil/secp256k1,bitcoin/secp256k1,evoskuil/secp256k1,bitcoin-core/secp256k1,afk11/secp256k1,peterdettman/secp256k1,peterdettman/secp256k1,afk11/secp256k1,bitcoin/secp256k1,bitcoin-core/secp256k1,afk11/secp256k1,ElementsProject/secp256k1-zkp,bitcoin/secp256k1,ElementsProject/secp256k1-zkp,bitcoin/secp256k1,evoskuil/secp256k1,bitcoin/secp256k1,afk11/secp256k1,evoskuil/secp256k1