How the Next Orange Update is Improving Usability and Verification