Bug fixes after merge.

New DataStore tests.
Changed Reasoner to be a GroundKernelStore that can do optimization and fixed ADMM.