Improved performance of bitmap filters by 2x

This only works with the latest dart2js compiler which inlines the
shift-right operator if the left operator is known to be a positive 32
bit integer.