Fix pricing with dual values for extended formulation
Remove dbg-inefficiencies from pricer and rmp