Add function to search for variable reads and writes within a given function and/or instruction

[mrthankyou]

This may be helpful when we want to see if mappings or other state variables are taintable.