On posterior consistency of data assimilation with Gaussian process priors: The 2D-Navier–Stokes equations