Working proof of concept with UIAutomation driving screen manipulation (just button tapping for now) and Cedar tests making assertions about internal state of app (not just assertions about state of UI elements)