gc_validate_pc(): Exclude imemos, add a test and explain the asserts

gc_validate_pc(): Exclude imemos, add a test and explain the asserts #1636