Mapping cooked behaviour to plutus behaviour regarding the translation from posix intervals to time slots.

[mmontin]

Cooked behaves differently than Plutus when going from an abstract interval to concrete time slots, leading to inconsistent closures for the boundaries of translated intervals.

The Plutus function in question can be found here:
https://playground.plutus.iohkdev.io/doc/haddock/plutus-contract/html/Plutus-Contract-Request.html#v:currentTime

While the Cooked function can be found here:
https://github.com/tweag/plutus-libs/blob/04f8e7051ef41f3a3860bacd178704273b6aa29b/cooked-validators/src/Cooked/MockChain/Monad/Direct.hs#L226

In practice, Plutus uses the latest time of the current slot, while Cooked uses the earliest, leading to inconsistencies.