concurrent_heap separated; proposer_pool refactoring; tests