sl/cont_shape: do not detect empty lists as container shapes

Suggested by Marek.
sl/symexec: rethrow run-time exceptions

... in order to actually stop the symbolic execution.  Otherwise, we
would continue analyzing the remaining root functions in case we have
a program without main() on the input.