cavity_benchmark now uses adaptivity.