Allow concurrent-safe open() and fopen() in frontend code for Windows

Fix improper uses of canonicalize_qual().

Improve predtest.c's internal docs, and enhance its functionality a bit.

Fix test_predtest's idea of what weak refutation means.

Add test scaffolding for exercising optimizer's predicate-proof logic.