Moved solver to JavaScriptCore

Closes #108
Finish merge of statistics move
Instrument Math and String (partial) such that dropped concolic information can be identified