Neutron star oceans: Instability, mixing, and heat transport