Take single predicate in VerifyPredicates

[ceyonur]

From: #823 (comment)

In the PR #823 we have changed the signature from
VerifyPredicate(predicateContext *PredicateContext, storageSlots []byte) error to VerifyPredicate(predicateContext *PredicateContext, predicates [][]byte) []byte in the latter we return bitsets as a result to CheckPredicates. We can investigate if we can keep a single predicate param in VerifyPredicate and return error then construct bitset in CheckPredicates instead.

[ceyonur]

@aaronbuchwald could you check this out and close if not required anymore?

[aaronbuchwald]

I think this would be a good refactor and don't think we need to close this issue.

[ceyonur]

I can take a look