The washing machine was on the warm setting. The internet suggests this is usually between 90 and 110 degrees F. I suspect this would be OK for a dive computer.Not to pedantic, but while it is waterproof, its rated to be waterproof up to a certain temperature.
That is because the specifications of the sealing compounds and o-rings are rated to work up to a specific temperature.
I think washing machines get pretty hot.