Polish simulation manger, fix docstrings
Polish simulation manger, fix docstrings

schieb/angr,tyb0807/angr,schieb/angr,tyb0807/angr,angr/angr,iamahuman/angr,angr/angr,schieb/angr,angr/angr,tyb0807/angr,iamahuman/angr,iamahuman/angr