Regularity criteria for Navier-Stokes-Allen-Cahn and related systems