chore(*): Move everything to a Microsoft.Research.T2 namespace
feat(Reachability): Make iterative reach. proving optional
style(interpolantSequence): Mark internal functions private
feat(Interpolation): Optional standard (two-part) interpolation