Add more checks for Properties (SpecHelper)

Add checks to ensure that a Property:

* produces no more than one `Initial` event;
* this event is produced synchronously;
* no `Next` events are produced before the `Initial` one.

I'm not sure about whether `Error` events can occur prior to an `Initial` event, so I didn't add a check for that.