Implement fork choice tests from test_time_management.py in `leanSpec`

[shariqnaiyer]

Describe the feature

https://github.com/leanEthereum/leanSpec/blob/main/tests/lean_spec/subspecs/forkchoice/test_time_management.py

Additional context

No response