Better condition folding

* src/pf/optimize.lua (cfold): Better folding for assertion-like
  conditionals.