Manticore: show how to use the quick-mode in script

This would speed-up many analyses that do not require the detectors/gas consumption.

We could add a section "tips to optimize scripts", or something like that, that will explain how to just disable the gas, etc

Start by locating the script documentation and the existing Manticore usage examples. Document how to use quick mode and disable gas-related analysis for scripts that do not need detectors or gas consumption; done means the optimization guidance is clear and runnable.

Written by the indexing model from the issue text.