Use the ValueViewer widget in the symbolic execution inspector

[travitch]

The inspector allows users to examine the resulting model returned by the symbolic execution engine after simulating a function. Right now, it just prints the result as a string. We should just re-use the ValueViewer, which provides a much more interactive and understandable experience.