Не знаю на счет Propel.
Я обычно использую Doctrine и там есть Repository и ObjectManager
В них с помощью наследования нетрудно переопределить стандартные методы, и дописать в них необходимые условия.
Highload проект как-правило приходит к каким-то своим хукам и улучшениям быстродействия независимо от фреймвока.
С точки зрения остальных ваших критериев Symfony2 действительно выглядит отличным вариантом.
Из плюсов выделю то, что он поможет овладеть очень интересными современными паттернами программирования вроде Dependency Injection, DCI, SOA - очень способствует саморазвитию.