Controlling Race Conditions in OpenFlow to Accelerate Application Verification and Packet Forwarding