feat: leonidas lib

[LHerskind]

We currently have leonidas and a leonidas lib, instead we could get away with just having a leonidas lib, that compose with the staking library #11519 and time library #11520. As leonidas is never really to be used on his own, there are very little to update in the tests to make this change, however, changes in the rollup contract are bigger.