gave the builder it's own namespace

also extracted the verifyStateGraph method into subclasses that
implement the strategies for verifying states and transitions.
these classes implement a newly introduced interface
IVerification,verify method.