Reactivating materialized theory tests

One of the features we mothballed before the alpha was
the option to use a theory that explicitly stores the contents
of all tables that are defined via rules.

This change begins reactivating that option
by reactivating the code's tests.

Change-Id: I6f9ee25050d6c6cd42e176335d83b6fb7ac2821d
Merge "Reactivating materialized theory tests"