`G1CardCounts::add_card_count` is called by refinement threads, and access to `_card_counts` table are not atomic and can result into update loss.

This may result in treating a hot card as cold.

The implemented behavior is intentional: the overhead of making this access atomic is highly suspected to be larger than the gain from one or the other card wrongly added (or not added) to the hot card cache.

Document this design decision