Use Spinach to test high-level functionality