Add txp checks and tests

This adds some checks to the incoming TxProposal validation.

Additionally, I fix an unrelated test that's failing in master.
Ready for review