fixed Type Sovler: typeStorage moved from model to state
fixed symbolic GetHashCode: changed to NonComposableConstantSource
fixed MemoryGraph: supported recursive objects
fixed type of shift argument in Arithmetics.fs
fixed mocks: supported recursive mocks, mocking type instead of objects (many mock objects may have one mocked type), supported fields' init for mocked types
disabled inheritance of TestFixtureAttribute for rendered mocks classes (some mocks may be inherited from classes with TestSvmFixtureAttribute)
typeStorage
moved frommodel
tostate
GetHashCode
: changed toNonComposableConstantSource
MemoryGraph
: supported recursive objectsArithmetics.fs
TestSvmFixtureAttribute
)