Implement Method::verified_entry and Method::verified_value_ro_entry for C1-compiled methods. This will take multiple steps.

For this step, support the passing of float and double parameters, as well as value objects that have double and float fields.