[BLOCKED BY MACRO_RULES SEMANTICS] Add `assertions_on_constants`

# What it does

Checks for assert!(true) and assert!(false) calls.

# Why is this bad?

Should probably be replaced by a panic!() or removed

# Example

```cairo
assert!(false)
assert!(true)
const B: bool = false;
assert!(B)
```