Add `assertions_on_constants`

[0xLucqs]

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

assert!(false)
assert!(true)
const B: bool = false;
assert!(B)

[0xLucqs]

Sure