Implementation of a fully nonlinear Hamiltonian coupled-mode theory, and application to solitary wave problems over bathymetry