Tensor networks, $p$-adic fields, and algebraic curves: arithmetic and the $\mathrm{AdS}_3 / \mathrm{CFT}_2$ correspondence