NullValueAnalysis: Introduced fast mode

Fast mode is triggered after visiting many nodes. It loses some accuracy but in exchange visits fewer nodes.
For small methods, the old accurate method is used.