Some more stage progression assertions from manual testing