Add missing bound check in call_get_preimage

Also add return value checks on all calls to buffer_write_bytes.