Recent progress in microporous polymers from thermally rearranged polymers and polymers of intrinsic microporosity for membrane gas separation: Pushing performance limits and revisiting trade‐off lines