On UC-Secure Range Extension and Batch Verification for ECVRF