Making a simulator pass all BCD tests is a huge hassle. On the 6502, the resulting N, V, and Z flag values are unspecified, though deterministic. The results with invalid operands are unspecified, though deterministic, but differ between the 6502, 65C02, and 65C816.
If not for Bruce Clark publishing his analysis and test code, I probably wouldn't have bothered.
11/
