Add sequential symbolic modulus performance test

This performance test illustrates the strengths and weaknesses
of symbolic execution with a depth-first search strategy. Note
that the measurements are about sequential code analysis.