Volumes of credit default swaps linked to big tech groups soar as investors seek protection against boom unravelling