millionaires verifies completely (although some stylistic improvements remain in the TODO comments) + other unit tests