Experimental implementation of an eight-dimensional Kochen-Specker set and observation of its connection with the greenberger-Horne-Zeilinger theorem uri icon