[firedrake] BCs on velocity for mixed gravity wave system solver