Add example for running spec with contract.

Adding an example of running a spec with its contract so it's more obvious. :)