В данный момент я тоже изучаю тофино. Если у вас уже есть flashbuilder 4.5, вам нужно только загрузить файл для VS2010 / VS2008 (без SDK 4.1).
Я не знаю о прямом экспорте в iOS, но вы, безусловно, можете импортировать проект в Adobe Flash Builder и экспортировать в air / ios оттуда.