OVS bridge and datapath separation

Examine open vswitch through protocol behavior, operational constraints, and concrete packet paths.