Lowtime

This is a maintenance release, adding a couple more assumption checks, dev tool upgrades, and `noise_factor` in `CandidateExecutionOptions`, which basically allows *soft filtering* Pareto-optimal execution options given measurement noise.