Adds linear first non-trival check to confirm correctness of binary