memoized readAsDex in the test suite to (greatly) improve test performance
fixed a missed pattern match in toStr in the SSA tests