Add a complicated assert() to check that statement transactions are opened when required.

FossilOrigin-Name: 28aa1f4ea8dad56ffedb31d6c2bc27c1d6be2407