Add quickcheck tests for config register calculations