Certified Result Checking for Polyhedral Analysis of Bytecode Programs