Refined Cauchy/Littlewood identities and six-vertex model partition functions: II. Proofs and new conjectures