Bug detector to check broken Immutability

This detector will check 2 kinds of potential bug.

1. non-final class which is annotated with `@Immutable`
2. non-final field in class which is annotated with `@Immutable`