refactor: intialize field in default constructor

this lets user easily customize fixture instance in the constructor.
refactor: rename TheoremAttribute to NaiveTheoremAttribute.
refactor: improve the test method.
refactor: rename AutoDataTheoremAttribute to TheoremAttribute.
build: increment minor version,

to indicate that renaming for the theorem attributes is a new feature
rather than breacking change.