tests: split post_condition main test into normal and corrupt_bounds tests to have a control

tests: split post_condition main test into normal and corrupt_bounds tests to have a control #1737