Fix regression in previous commit with refinement when handling side effects.
Synthesize statements!
This is preliminary, as we only heuristically synthesize some statements (ones directly involving primed variables) and we do it after our normal search, not during.  But it's a start!
Optimize evaluation string.
This speeds up statement evaluation a lot, but it also should help for expressions with a non-trivial pdspec.