Physics-constrained hardware-efficient ansatz on quantum computers that is universal, systematically improvable, and size-consistent