[firedrake] solver optimisations for ASMVankaPC