Make ArrayBoundsChecker a whole-program analysis to fix a concurrency bug#1453

tiziw wants to merge 4 commits intosoot-oss:developsoot-oss/soot:developfrom

tiziw:developtiziw/soot:developCopy head branch name to clipboard