Add absorb method to NormalForm expressions
Add rand=True to some iterators, and lint cleanup
Add sat.iter_backtrack generator