Test script changes to support testing sqlite3_interrupt().
Ignore IS NOT NULL and NOT NULL constraints on NOT NULL columns.
Fix an invalid assert() in where.c. Also a crash that can occur in the EXPLAIN QUERY PLAN code under obscure circumstances.
Fix a couple of test scripts to work with DEFAULT_AUTOVACUUM and OMIT_VIRTUALTABLE.
Fix a minor problem in progress.test. No code changes.