Add :partition and :post-phase-f to converge

Make converge work with partitioning.
Fix results passed to post-phase functions
Partition lifts by :post-phase functions

This ensure the correct post-phase functions are applied.