Split "semantic" tests out to a separate package

Tests for the behavior of a Backend instance are now consumed from tahoe-great-black-swamp-testing. Relatedly, most types related to the Backend class are now imported from tahoe-great-black-swamp-types.

To make the test suite pass, Memory and Filesystem now also implement operations on mutables.