Provides validations for unsafe code. Currently checks if unsafe functions are missing unsafe blocks.