test(robot-server): Add Hypothesis tests for LabwareOffsetStore

[SyntaxColoring]

Changelog

This adds Hypothesis tests to cover the work in #17704. Goes towards EXEC-1284.

They basically call random sequences of methods on LabwareOffsetStore with random parameters, and compare their results against a known-good reference implementation. The known-good reference implementation is a quick reimplementation of LabwareOffsetStore based on in-memory Python primitives. So, these tests can catch mistakes in LabwareOffsetStore's SQL queries.

Test Plan and Hands on Testing

• It catches the bugs I originally had in feat(robot-server): Allow storing and retrieving location-nonspecific ("default") offsets #17704.

Review requests

• Anything unclear? Anything that could be expressed more elegantly in Hypothesis?
• Please scrutinize the SimulatedStore reference implementation. It should implement what's documented in LabwareStore.
• It's slow! Something like 10s on my laptop. I'm not sure if this is because I'm sampling inefficiently, or if this is just the nature of the beast with RuleBasedStateMachine. Anyone have perspective on this? If anyone thinks this is a bit much, I'm happy to add something like a make test-fast Makefile target that skips Hypothesis tests and integration tests.

Risk assessment

No risk.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 21.84%. Comparing base (57399e2) to head (ec1784d).
Report is 1 commits behind head on edge.

Additional details and impacted files

@@           Coverage Diff           @@
##             edge   #17718   +/-   ##
=======================================
  Coverage   21.84%   21.84%           
=======================================
  Files        2822     2822           
  Lines      217431   217431           
  Branches     8214     8214           
=======================================
  Hits        47491    47491           
  Misses     169940   169940           

Flag	Coverage Δ
protocol-designer	18.91% <ø> (ø)
step-generation	4.36% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

🚀 New features to boost your workflow:

• ❄ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.