Need to stop thinking or making assumptions.

Measurement need taken, but either way the pistons have been hitting the heads, regardless of the factors that led up to to happening

Obviously cheapest and easiest fix will be a head gasket, if one is available thick enough.

IF, the pistons do protrude by 0.5mm...which is a lot, you'd need at least a gasket 1.5mm thick