Add assert()s that verify that cursor numbers on subqueries are always

Add assert()s that verify that cursor numbers on subqueries are always
greater than outer cursor numbers.  Except, this is not always true in the
presence of query flattening.  We might need to relax that constraint.
This branch will probably become a dead-end.  For now it is saved for
reference.

FossilOrigin-Name: 6f4369666efb8eed84c3d60118baaf35d733ea906df983aeca2b0a475a6298a3