the symbolic-executor requires --run-in-iso

[ivg]

When several entry points are specified we shall use --run-in-iso, and while it is by design it is totally user unfriendly. We shall either make it work without the isolation mode, make the isolation mode the default, or somehow detect this and provide a diagnostic message.