Convection-coupled phase-change verification and validation

General

• Use Firedrake built-in error norm function for convergence verification
• Add default element degree to most simulations
• Update PETSc options for latest Firedrake

Convection-coupled phase-change

• Disable rtol convergence in PETSc SNES line search, which was leading to a growing absolute residual during time dependent simulations
• Perform verification with parameters relevant to water freezing
• Verify density ratio
• Set default space and time accuracy to second order