Finally posted my initial comments on the verification implications of all this here: https://blog.foretellix.com/2016/09/21/verification-implicat...