[firedrake] Inconsistency between bilinear and residual solve