Какой User-Agent у бота вконтакте?
По юзерг агенту не выйдет. 
Вконтакте использует строку типичную для браузера.
Была такая проблема. В итоге просто переписали систему аутентификации, чтобы не было редиректа. Обычно, если фреймворк сравнительно прямой, это не так сложно сделать.

Честно говоря, деталей собственно CAS не знаю, но всегда можно, например, сделать JS-обвязку и редиректить через скрипты. Пытаться распознать всех роботов — занятие неблагодарное. Потом вам этот список ещё и поддерживать придётся…