Verification of Physically Based Rendering Algorithms