add BitStreamVerify.sh