fix(spec): Verify that only messages for the current height are processed by the driver

fix(spec): Verify that only messages for the current height are processed by the driver #485