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 an `Initial` one.