Why did you remove this?

This acts as a (proper) default sanity check that is specific to Libint2 (i.e., not simply `bin`, `lib`).

You can always override `sanity_check_paths` in the easyconfig file, but having a proper default should remain so imho.