refactor(domain): move MAX_CENTS to money, deterministic shuffle in tests

fix(domain): guard split allocation and balance invariants

feat(domain): add largest-remainder split allocation