Нет, внешний ключ не проверяется.Это довольно легко увидеть, изучив планы выполнения двух разных обновлений.
create table a (
id int primary key
)
create table b (
id int,
fkid int
)
alter table b add foreign key (fkid) references a(id)
insert into a values (1)
insert into a values (2)
insert into b values (5,1) -- Seek on table a's PK

update b set id = 6 where id = 5 -- No seek on table a's PK

update b set fkid = 2 where id = 6 -- Seek on table a's PK

drop table b
drop table a