Perform signature checks for all basic blocks except the entry block.

This fixes #12.