Added missing validity checks for several instances of SmartIF<>

Vakhtang Tsulaiarequested to merge
tsulaia/athena:main-bugfix into main

I did not include those checks in several previous MR-s. Doing it now ...

Merge request reports