Remove usage of lazy_static! #2611
Description
As of Rust 1.63, Mutex::new is now const. This means that we no longer need lazy_static in order to have a static variable containing a Mutex.
It is however not really possible yet to remove lazy_static because we're using some non-const functions such as BinaryHeap::new or BTreeMap::new.