Static checks for __soaap_create_persistent_sandbx

Implemented checks for ensuring that all calls to (persistent) sandbox entrypoints are preceded by a __soaap_create_persistent_sandbox annotation (on all possible paths reaching the entrypoint call).