Check that profile recording with AOT hotness.