dev: set base class of FirstClassTheoremAttribute

as AutoFixtureFirstClassTheoremAttribute.
dev: improve tests to check actual referenced assemblies.