Add PropagateZeros.  Use static imports for PySubstrTest.