update the c interface to include verify_compactions access