SimAbstractMemory: add REGION_MAPPING to state.options if it is not specified together with ABSTRACT_MEMORY.
SimAbstractMemory: add REGION_MAPPING to state.options if it is not specified together with ABSTRACT_MEMORY.

angr/angr,axt/angr,chubbymaggie/angr,iamahuman/angr,iamahuman/angr,angr/simuvex,tyb0807/angr,f-prettyland/angr,tyb0807/angr,tyb0807/angr,iamahuman/angr,chubbymaggie/angr,schieb/angr,angr/angr,axt/angr,chubbymaggie/angr,axt/angr,schieb/angr,f-prettyland/angr,f-prettyland/angr,schieb/angr,angr/angr