minus redundant initialization
AddNodeMutator is now probabilistic.
TestEngine: support for multiple topology mutators.
+ RemoveNodeMutation