Fix PR 14413 added case-> contract for bit-vector-copy

Fix for  http://bugs.racket-lang.org/query/?cmd=view&pr=14413