More comprehensive testing for Ipv4Header.