GPU Accelerated Strong and Branching Bisimilarity Checking