Quarterback options for Gators in 2023 class