Former Gators QB Anthony Richardson was drafted #4 overall by the Indianapolis Colts. Will he sit out?