Test the property against the StateView

[isovector]

As of the completion of #45, we now have a StateView which we can use to actually run the desired property. Now is the time to run it, to properly shutdown all of the peers, and then to return the correct exit code.