Implement remaining read bytes checks

Use the infrastructure provided by THRIFT-5021 to implement checks for remaining read bytes in order to strengthen the ability of the code to prevent itself against corrupted message data. The program should fail early in such a case.