began work on test case generator for forall
added docs, and the shell of tools forall
fixed calls to throw_arrow_error in forall
added xIsNot