Add detector for unchecked L1 from address in L1 handler functions

[tarunbhm]

closes #20

[tarunbhm]

Can you add a test where the from_address is checked in a private function and merge master because it changes the snapshot file

Done