specs: Add "Testing" section to High Priority Datapath spec