Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings