Merge remote-tracking branch 'origin/master' into dz-fortress-algebraic-constraints

Merges in RelationalAI/raicode#4272, "Add
display.delve to Standard Library", which originally cherry-picked
the changes on this branch that simplified the tests over the standard
library.

Author: NHDaly