What properties should our simulation have, and how can we test that we're passing these minimal sanity checks as we develop?