Fix for sketches script usage in checker options

Reduced blocking timeouts in the UI to 250ms and full block to 5000ms.

Fix for nested lambda tooltips not showing if they were generic
functions.

Refactored some common symbol parsing code so it can be reused rather
than copied.
Generics in the inner lambda were not escaped to the markup renderer was throwing on '<' etc.