Re-enable gadt tests