parameterize random-order
add (do-with-plan)
working on enforcing laziness given a specific search ordering