Use a `std::vector` instead of `std::map` for efficiency in correlation data structures

[smadhuk]

See

• Fix search graph logic to not depend on the implied weights inside the graph flooder. #135 (comment)
• Finish ImpliedWeight conversion (with pointers to weights to be reweighted). #132 (comment)
• Populate unconverted implied weights during matching graph creation #131 (comment)