throw error if no solver given
don't pass unused argument. passing this also prevented V8 optimization
add a Strings.safeToString method to move try-catch out (V8 opt)
move try-catch block to enable optimization (V8 opt)
(V8 opt)
remove this alert for now
add a performance test for creating constraints
replace UUID method with faster version (V8 opt)