Remove verify, expose Utils, Types, Pretty

This merge contains the last two months of verify work, culminating in its removal.
Also contains rename of [Util,Types,Pretty] to NetKAT_[Util,Types,Pretty].
Also exposes NetKAT_Types and NetKAT_Pretty.