Princess: Enable one of the tests for codepoints in string theory

The rest still seem to have issues on Princess

Author: daniel-raffler

src/org/sosy_lab/java_smt/test/StringFormulaManagerTest.java

@@ -903,12 +903,6 @@ public void testStringToCodePoint() throws SolverException, InterruptedException
 
   @Test
   public void testToCodePointInRange() throws SolverException, InterruptedException {
-    // TODO report to developers
-    assume()
-        .withMessage("Solver %s crashes", solverToUse())
-        .that(solverToUse())
-        .isNotEqualTo(Solvers.PRINCESS);
-
     StringFormula str = smgr.makeVariable("str");
     IntegerFormula cp = smgr.toCodePoint(str);
     BooleanFormula invalidStr = imgr.equal(cp, imgr.makeNumber(-1));