Use Integers to represent Time in FV

[rsoeldner]

This PR changes the Time representation in FV. So-far, we represent time using microseconds as Int64, which exceeds (and does not align with) Z3s Integer representation.

PR checklist:

• [x] Test coverage for the proposed changes
• [] PR description contains example output from repl interaction or a snippet from unit test output
• [x] Documentation has been updated if new natives or FV properties have been added. To generate new documentation, issue cabal run tests. If they pass locally, docs are generated.
• [x] Any changes that could be relevant to users have been recorded in the changelog
• [x] In case of changes to the Pact trace output (pact -t), make sure pact-lsp is in sync.

Additionally, please justify why you should or should not do the following:

• [ ] Confirm replay/back compat
• [ ] Benchmark regressions
• [ ] (For Kadena engineers) Run integration-tests against a Chainweb built with this version of Pact