Use UFL degree_estimator capabilities for quadrature

We totally ignore the problem of quadrature order right now. UFL provides some generic estimates of degree which we should use!