Allow miri to access time

[TroyNeubauer]

Fixes subtle issues arising at the end of #15

[codecov-commenter]

Codecov Report

Merging #16 (b7cda32) into main (fa7bab1) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main      #16      +/-   ##
==========================================
- Coverage   89.26%   89.24%   -0.02%     
==========================================
  Files           8        8              
  Lines         680      679       -1     
==========================================
- Hits          607      606       -1     
  Misses         73       73              

Impacted Files	Coverage Δ
src/lib.rs	100.00% <ø> (ø)
src/domain.rs	85.67% <100.00%> (-0.04%)	⬇️
src/object.rs	75.00% <100.00%> (ø)
tests/folly.rs	96.39% <100.00%> (ø)
tests/lib.rs	100.00% <100.00%> (ø)
src/holder.rs	82.45% <0.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 74db994...b7cda32. Read the comment docs.

[jonhoo]

Nice, thanks!