Improve reentrancy detectors

[montyly]

• Filter result based on nonReentrant modifier
  • reentrancy-eth/reentrancy-no-eth: do not warn if the function is non reentrant, and there is no other reentrant function that writes to the affected variable
  • reentrancy-event: do not warm in the function is non reentrant.
  • Fix Reentrancy False Positive: Reported on internal function called by a nonReentrant external function #863, Reentrancy: remove false alarm due to the nonreentrant modifier #683. Replace Reentrant printer #765
• Fix incorrect detection on loop (fix For loop prevents reentrancy detection #1019)
• Improve python types
• Add relevant APIs for the reentrancy filtering:
  • function.all_reachable_from_functions list of all the functions in the call graph that leads to function
  • function.is_reentrant: check if the function is reentrant. Here we check if the nonReentrant modifier is directly applied, or for internal functions if one of the entry points (i.e. one of the public/external function that can reach the targeted function) is lacking nonReentrant

I might also improve the reentrancy-event filtering to detect cross-functions reentrancy on event - through this is usually only informational and have a limited impact.

Additionally right now nonReentrant is only checked based on the modifier name. We could compare the source code hash of the known version to increase the confidence.

This require additional internal testing before being merged.

[montyly]

TODO: replace is no other reentrant function that writes to the affected variable to include read, and state variable that are public.

This will help reviewing cross protocol reentrancies