Test that op2 Solvers are properly collected
replace form_data.signature by form.signature
foo.form_data() -> compute_form_data(foo)
make compatible with upstream UFL; need to optimize
remove one instance of compute_form_data; tidy up