High-Order, Efficient, Numerical Algorithms For Integration In Manifolds Implicitly Defined By Level Sets