Feedback control of transitional flows: A framework for controller verification using quadratic constraints