feat: slither ci

[alexander-camuto]

• [x] Adds slither to ci, but does not induce failure -> so need to manually review
• [x] Acts on some of the slither recommendations